M Using Spin Model Checker for Learning the Semantics of UML Models

This study is concerned with the developing criteria for learning the semantics of UML models in an intelligent tutorial system. This is achieved by going through literature and studying the current approaches for checking the semantics of UML diagrams. This paper concerns with the ability of learning the semantics of UML models using formal methods, For this reason this research enhance an existing system for grading UML models called MUML. The result of this work is an enhanced environment for teaching and checking UML behavior using the means of formal methods. Evaluation results on diagram-based learning do its expectations compared to the traditional learning techniques of the students’ assignments.